Aplicação de retroanálise na escavação de um túnel na Ilha da Madeira

Pretende-se determinar os parâmetros geomecânicos de um maciço atravessado por um túnel construído na ilha da Madeira, através de retroanálise. Para tal, recorre-se a um modelo numérico tridimensional para simular o avanço da escavação e a dados obtidos a partir da instrumentação da obra, nomeadamente, através da medição de convergências e deslocamentos superficiais. A análise numérica é aplicada a um problema de identificação de parâmetros geomecânicos, em três secções localizadas muito próximas do emboquilhamento do Faial, do túnel do Faial/Cortado. Este problema rege-se por um comportamento elástico perfeitamente plástico e um critério de rotura de Mohr-Coulomb. Para a resolução do problema recorreu-se à utilização do software de diferenças finitas, FLAC3D, tendo-se usufruído da sua base de programação para modelar o processo complexo de escavação e suporte do túnel. A modelação tridimensional no FLAC3D é conseguida através da sua linguagem de programação interna, FISH, criando funções capazes de simular o processo da escavação parcial, instalação dos elementos de suporte, e monitorizar e extrair as variáveis pretendidas. Numa primeira fase realizou-se uma análise paramétrica relativamente ao comportamento do maciço fazendo variar alguns parâmetros geomecânicos deste. Numa segunda fase do estudo, procedeu-se à otimização de um conjunto de parâmetros elásticos e resistentes, intrínsecos ao material envolvente do túnel, através de retroanálise. A otimização dos parâmetros foi realizada por meio da utilização de expressões de cálculo de medida de dispersão estatística entre os dados obtidos a partir da instrumentação em obra e os resultados correspondentes obtidos a partir da análise numérica. Os valores obtidos para os diferentes parâmetros do maciço rochoso foram comparados com os respetivos valores recolhidos na bibliografia para maciços da ilha da Madeira, bem como com os valores previstos pela caracterização geomecânica efetuada durante a fase de construção do túnel objeto de estudo.

On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Fundamentação numérica da Análise em Portugal em Anastácio da Cunha, Gomes Teixeira e Vicente Gonçalves

Neste trabalho estudamos a fundamentação numérica da Análise em Portugal, centrando particularmente este estudo nos trabalhos de José Anastácio da Cunha, Francisco Gomes Teixeira e Vicente Gonçalves. Num capítulo introdutório apresentamos uma perspectiva cronológica da procura de uma fundamentação rigorosa para a matemática, com o intuito de enquadrar historicamente as obras destes matemáticos Portugueses e reconhecer possíveis influências prestadas por trabalhos de outros autores. Relacionado com Anastácio da Cunha, analisamos os aspectos fundamentais da sua obra Principios Mathematicos, procurando evidenciar os resultados mais importantes avançados pelo autor, bem como as suas preocupações axiomáticas que não eram usuais no século XVIII, em que se insere a sua obra. Neste trabalho foi igualmente efectuada uma análise às quatro edições do Curso de Analyse Infinitesimal — Calculo Integral de Francisco Gomes Teixeira, particularmente centrada na definição do conceito de número irracional. Finalmente, analisamos o Curso de Álgebra Superior de Vicente Gonçalves, particularmente as duas últimas edições. A 2a edição do referido Curso foi objecto de duras críticas por parte de Neves Real e um dos objectivos deste trabalho foi o de procurar analisar essas críticas e verificar até que ponto influenciaram a reformulação de alguns aspectos da 3a edição.

Análise da performance táctico-técnica no andebol de alto nível: estudo das acções ofensivas com recurso à análise sequencial

O presente estudo insere-se na problemática da Análise da performance táctico – técnica em Andebol, efectuada a partir da observação do jogo e visando a optimização do rendimento desportivo. Tendo como finalidade contribuir para uma alternativa na análise táctico-técnica do rendimento no Andebol, centrou-se a atenção na microanálise de acções táctico-técnicas, integrando-as numa análise mais global das sequências de jogo e das respectivas alterações contextuais. Pretendeu-se questionar a eficácia do ataque e da defesa no Andebol, tendo-se direccionado o estudo para os seguintes objectivos: (1) Analisar padrões de comportamento dos defensores após a recuperação da bola, em relação com o modo e zona de início das sequências ofensivas, tendo em conta as diferentes relações numéricas;(2) Analisar a eficácia do guarda-redes, tendo em conta a interacção guardaredes/defensor; (3) Analisar os meios tácticos que precedem a finalização bem como a sua influência no resultado final da sequência, considerando diferentes relações numéricas; (4) Analisar a interrupção das sequências por faltas sofridas e a respectiva influência no resultado final, tendo em conta diferentes relações numéricas. A amostra do presente estudo foi constituída pelas sequências ofensivas registadas a partir de vinte e cinco jogos das fases finais do Campeonato da Europa de 2002 (onze) e do Campeonato do Mundo de 2003 (catorze), envolvendo, em ambos os casos, apenas as equipas classificadas nos oito primeiros lugares de cada competição. Para a realização do estudo recorreu-se à metodologia observacional, tendo-se efectuado a exploração dos dados através da análise sequencial, tanto prospectiva como retrospectivamente. Usou-se ainda a técnica de análise através das coordenadas polares. Os resultados do estudo permitiram concluir que: (1) É significativa a probabilidade da cooperação guarda-redes/defensor influenciar a eficácia do guarda-redes na defesa da baliza; (2) É significativa a probabilidade do modo de recuperação da bola influenciar o modo de início da sequência ofensiva; (3) É significativa a probabilidade do modo de recuperação da bola influenciar a zona para onde é efectuada a primeira acção com bola da sequência ofensiva; (4) A interrupção da sequência ofensiva por falta sofrida, acompanhada ou não de uma exclusão, tem uma probabilidade significativa de activar o golo de sete metros. A não ocorrência de interrupção da sequência por falta sofrida, evidencia uma probabilidade significativa de activar o golo. No entanto, não é possível concluir que é significativa a probabilidade das interrupções por faltas sofridas influenciarem o resultado da sequência; (5) É significativa a probabilidade da utilização de meios tácticos anteriores à finalização influenciar a eficácia das sequências; (6) É significativa a probabilidade da relação numérica influenciar a eficácia das sequências.

Avaliação numérica do comportamento sísmico de estruturas de betão armado

Os danos provocados por sismos encontram-se diretamente relacionados com os movimentos do solo que este possa provocar, com a vulnerabilidade da estrutura geológica e com a capacidade das construções para resistirem a tais ações. A preocupação na salvaguarda da vida humana e no mitigar dos danos provocados por eventos sísmicos conduziu a um grande avanço e aperfeiçoamento na compreensão do fenómeno, nas suas consequências e nas técnicas de conceção e de dimensionamento sismo-resistentes. À medida que as exigências técnicas evoluem, procura-se desenvolver métodos de análise que descrevam melhor o comportamento real das estruturas. Embora atualmente as análises dinâmicas tridimensionais lineares com base em análises modais e em coeficientes de comportamento sejam muito utilizadas, devido essencialmente à sua simplicidade e rapidez de execução, tem-se verificado uma crescente aderência a novas metodologias que têm diretamente em conta o comportamento não linear das estruturas quando sujeitas a ações sísmicas. Esta tese tem como principal objetivo estudar diferentes técnicas de simulação numérica do comportamento sísmico de estruturas de betão armado. São descritas as principais características das metodologias de simulação numérica mais utilizadas tanto em gabinete de projeto como em estudos de investigação. É dada especial atenção às análises dinâmicas não lineares, uma vez que esta técnica foi utilizada para simular o comportamento de uma estrutura de betão armado de um piso, que foi ensaiada no âmbito da 15ª Conferência Mundial em Engenharia Sísmica. Para avaliar a capacidade de simulação desta técnica, os resultados numéricos são diretamente comparados com os resultados experimentais, sendo possível verificar uma boa concordâncias entre ambos.